翻訳と辞書 Words near each other ・ Ram Chandra Dome ・ Ram Chandra Kak ・ Ram Chandra Maheshwari ・ Ram Chandra Paswan ・ Ram Chandra Patra ・ Ram Chandra Pokhrel ・ Ram Chandra Poudel ・ Ram Chandra Ram ・ Ram Chandra Shukla ・ Ram Chandra Tiwari ・ Ram Chandra Vidyabagish ・ Ram Chandra Vikal ・ Ram Chandra Yadav ・ Ram Charan ・ Ram Charan (consultant) ・ Ralph-Johan Back ・ Ralphi Rosario ・ Ralphi – Der Schlaubär aus der Augsburger Puppenkiste ・ Ralphie (satellite) ・ Ralphie Aversa ・ Ralphie May ・ Ralphie the Buffalo ・ Ralpho Township, Northumberland County, Pennsylvania ・ Ralphs ・ Ralphs Bay ・ Ralphs Grocery Store (Los Angeles, California) ・ Ralphsynder Decagonal Barn ・ Ralphton, Pennsylvania ・ Ralphy Rodríguez ・ Ralsko (Česká Lípa District) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Ralph-Johan Back ： ウィキペディア英語版 Ralph-Johan Back Ralph-Johan Back is a Finnish computer scientist.〔(【引用サイトリンク】 title=Ralph-Johan Back )〕 Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, ''On the Correctness of Refinement Steps in Program Development''. He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere. Since 1983, he has been Professor of Computer Science at the Åbo Akademi University in Turku. For 2002–2007, he was an Academy Professor at the Academy of Finland. He is Director of CREST (Center for Reliable Software Technology) at Åbo Akademi. Back is a member of Academia Europaea.〔 His wife, Barbro Back, is Professor of Information Systems, also at Åbo Akademi University, and he has three children. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ralph-Johan Back」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.